Crowd-sourced verification for smart contracts